Processing a web requires three major steps:
- Read the source, accumulating file names, macro names, scraps,
and lists of cross-references.
- Reread the source, copying out to the
.tex
file, with
protection and cross-reference information for all the scraps.
- Traverse the list of files names. For each file name:
- Dump all the defining scraps into a temporary file.
- If the file already exists and is unchanged, delete the
temporary file; otherwise, rename the temporary file.
Subsections